abstract data type in data structure